(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_BV)
(declare-fun v0 () (_ BitVec 7))
(declare-fun v1 () (_ BitVec 6))
(assert (let ((e2(_ bv86 7)))
(let ((e3 ((_ sign_extend 0) v0)))
(let ((e4 (ite (= ((_ sign_extend 1) v1) e3) (_ bv1 1) (_ bv0 1))))
(let ((e5 (ite (= (_ bv1 1) ((_ extract 3 3) e2)) ((_ zero_extend 1) v1) v0)))
(let ((e6 (= v0 e2)))
(let ((e7 (= e2 e5)))
(let ((e8 (= e3 v0)))
(let ((e9 (distinct v1 ((_ sign_extend 5) e4))))
(let ((e10 (ite e7 e6 e8)))
(let ((e11 (xor e9 e10)))
e11
)))))))))))

(check-sat)
